Extending Z for Object-oriented Speciications
نویسنده
چکیده
منابع مشابه
Translating Object-z Speciications to Object-oriented Test Oracles Translating Object-z Speciications to Object-oriented Test Oracles
This paper describes the translation of Object-Z speciications of container classes to C++ test oracle classes. It presents a three-stage translation process and describes how the derived test oracles are integrated into the ClassBench testing framework. The method caters for object-oriented features such as inheritance and aggregation. Translation issues and limitations of the method are discu...
متن کاملAn Approach to Animating Model-based Object-oriented Formal Speciications
| One of the important issues in the application of formal notations in software development is the validation of formal speciications against the informal customer requirements. Animation has been proposed as one of the techniques for achieving this goal. This paper describes an approach to animating object-oriented model-based formal speciications as well as a research prototype of an animati...
متن کاملAn Object-Oriented Development Framework for Z
This paper presents a framework for developing Z speciications in an object-oriented style. Within the framework, object-oriented concepts and design strategies are captured by the application of development operators. The framework also records the history of operator application enabling \classes" to be identiied and, hence, the possibility of modular veriication and reenement.
متن کاملDeening Relationships in Ecology Using Object-oriented Formal Speciications
A formal object-oriented speciication using Object-Z is given of an animal's environment which builds on previous work using formal descriptions in this area. The object framework provides a closer match between natural categories and speciied classes, and the formal speciication acts as a tool to explicitly state all assumptions, consequences and behaviors involved for a set of objects at hand...
متن کاملApplying Design Patterns to Object-z Speciications of User-interfaces
Patterns provide an informal approach to the design of software. However patterns are compatible with more formal techniques for speciication. In this paper we describe a set of patterns for developing object-oriented software designs for user-interfaces and show how these patterns can be applied using Object-Z speciications as a guide. Collectively the patterns generate an interactor-based arc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990